6f0b0f66bf199a439e40eae81d4bad3018a6d1e3,plugins/migrationAssistant/source/jetbrains/mps/ide/migration/assistant/MigrationAssistantWizard.java,OldPersistenceDetectedStep,createComponent,#,296

Before Change


      final JPanel infoHolder = new JPanel(new BorderLayout());
      infoHolder.setBorder(BorderFactory.createEmptyBorder(2, 2, 2, 2));

      final JTextArea info = new JTextArea(
        "Some models in this project are stored in the persistence version that is no longer supported." +
          "\n\n" +
          "You have to manually upgrade persistence of these models using a previous version of MPS." +
          "\n\n" +
          "The migration cannot proceed.",
        10, 40);
      info.setLineWrap(true);
      info.setWrapStyleWord(true);
      info.setEditable(false);
      info.setBorder(BorderFactory.createLoweredBevelBorder());

      infoHolder.add(info, BorderLayout.CENTER);

After Change


      final JPanel infoHolder = new JPanel(new BorderLayout());
      infoHolder.setBorder(BorderFactory.createEmptyBorder(2, 2, 2, 2));

      JTextPane info = new JTextPane();
      info.setContentType("text/html");
      info.setText("Some models in this project are stored in the persistence version that is no longer supported." +
        "<br><br>" +
        "You have to manually upgrade persistence of these models using a previous version of MPS." +
        "<br><br>" +
        "The migration cannot proceed.");
      info.setEditable(false);
      info.setFocusable(false);
      info.setBorder(BorderFactory.createLoweredBevelBorder());
      info.setPreferredSize(new Dimension(300, 160));

      infoHolder.add(info, BorderLayout.CENTER);